Correct Development of Embedded Systems
نویسندگان
چکیده
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language. The main contributions of the project are the definition of a useful subset of UML and some extensions, a formal dynamic semantics integrating all notations and a tool set for the validation of models based on this semantics.
منابع مشابه
C-based System Development of Asynchronous Distributed Systems
Embedded control systems have to be functionally correct, stable, and have to fulfil real-time constraints. The presented integrated approach of embedded software and hardware development supports the developer to meet design decisions in a system context using simulations at the system level and the task level of modelling. At the system level, first the behaviour of the digital controller mod...
متن کاملComplementiser Phrase: The Case of English Wh-Embedded Clauses
English main-clause wh-questions form complementiser phrases with wh-words preposed to spec-C position. This is because English wh-words, as verb-complements originally, are strong enough to trigger wh-movement and auxiliary inversion. Persian EFL learners encounter an over-differentiation problem regarding the acquisition of auxiliary inversion rule in English standard questions. Once they hav...
متن کاملAutomated Verification and Synthesis of Embedded Systems using Machine Learning
The dependency on the correct functioning of embedded systems is rapidly growing, mainly due to their wide range of applications, such as micro-grids, automotive device control, health care, surveillance, mobile devices, and consumer electronics. Their structures are becoming more and more complex and now require multi-core processors with scalable shared memory, in order to meet increasing com...
متن کاملActivity Documents
The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical basis for development of embedded, real-time, computer systems. This survey paper introduces the speciication languages and veriication techniques for four levels of development: Requirements deenition and control design; Transformation to a systems architecture with program designs and their transformation t...
متن کاملUsing Evolutionary Testing to improve Efficiency and Quality in Software Testing
The development of embedded systems is an essential industrial activity. More than 90% of all electronic components manufactured are used in embedded systems, e.g. in aerospace technology; railway and motor vehicle technology; process and automation technology; communication technology; process and power engineering, as well as in defense electronics. Embedded systems are also used regularly in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004